Example 3.3.5

For every compact connected Hausdorff space there exists a surjective group homomorphism which satisfies .

If is contractible, then the map is an isomorphism.